Fundraising September 15, 2024 – October 1, 2024 About fundraising
1

Cartesian closed categories of algebraic CPOs

Year:
1990
Language:
english
File:
PDF, 1.83 MB
english, 1990
2

Using powerdomains to generalize relational databases

Year:
1991
Language:
english
File:
PDF, 2.27 MB
english, 1991
3

Uniform approximation of topological spaces

Year:
1998
Language:
english
File:
PDF, 1.05 MB
english, 1998
7

Lower bounds for the conductivities of correlated quantum systems

Year:
2007
Language:
english
File:
PDF, 166 KB
english, 2007
9

Great Expectations

Year:
2009
Language:
english
File:
PDF, 528 KB
english, 2009
10

A note on coherence of dcpos

Year:
2016
Language:
english
File:
PDF, 223 KB
english, 2016
14

Coherence and consistency in domains

Year:
1990
Language:
english
File:
PDF, 1.84 MB
english, 1990
15

Implementing the RSA cryptosystem

Year:
1987
Language:
english
File:
PDF, 960 KB
english, 1987
16

The dependent product construction in various categories of domains

Year:
1991
Language:
english
File:
PDF, 254 KB
english, 1991
19

Preface

Year:
2004
Language:
english
File:
PDF, 60 KB
english, 2004
20

Preface

Year:
2006
Language:
english
File:
PDF, 80 KB
english, 2006
21

A Hofmann-Mislove theorem for Bitopological Spaces

Year:
2007
Language:
english
File:
PDF, 376 KB
english, 2007
22

Preface

Year:
2004
Language:
english
File:
PDF, 128 KB
english, 2004
23

A logical approach to stable domains

Year:
2006
Language:
english
File:
PDF, 324 KB
english, 2006
24

Types, Logic, and Semantics for Nested Databases

Year:
1995
Language:
english
File:
PDF, 984 KB
english, 1995
25

Stably Compact Spaces and Closed Relations

Year:
2001
Language:
english
File:
PDF, 258 KB
english, 2001
27

Preface: Volume 13, Issue 1

Year:
1998
Language:
english
File:
PDF, 32 KB
english, 1998
28

The Troublesome Probabilistic Powerdomain

Year:
1998
Language:
english
File:
PDF, 1.15 MB
english, 1998
29

Preface: Volume 20

Year:
1999
Language:
english
File:
PDF, 46 KB
english, 1999
33

Stably Compact Spaces and the Probabilistic Powerspace construction

Year:
2004
Language:
english
File:
PDF, 292 KB
english, 2004
34

Priestley Duality for Strong Proximity Lattices

Year:
2006
Language:
english
File:
PDF, 305 KB
english, 2006
35

Presenting Dcpos and Dcpo Algebras

Year:
2008
Language:
english
File:
PDF, 406 KB
english, 2008
36

The probabilistic powerdomain for stably compact spaces

Year:
2004
Language:
english
File:
PDF, 311 KB
english, 2004
37

A bitopological point-free approach to compactifications

Year:
2011
Language:
english
File:
PDF, 267 KB
english, 2011
38

On the Duality of Compact vs. Open

Year:
1996
Language:
english
File:
PDF, 713 KB
english, 1996
42

A Hofmann–Mislove theorem for bitopological spaces

Year:
2008
Language:
english
File:
PDF, 218 KB
english, 2008